Tootfinder

Dröjer ganska många år till innan man vet om det här får en betydande effekt på allvarlig sjukdom. Men positiv start...
A new screening protocol can detect aggressive prostate cancers more selectively
https://www.eurekalert.org/news-releases/1040787

This https://arxiv.org/abs/2403.08496 has been replaced.
link: https://scholar.google.com/scholar?q=a

Universal and robust quantum coherent control based on a chirped-pulse driving protocol
We propose a chirped-pulse driving protocol and reveal its exceptional property for quantum coherent control. The nonadiabatic passage generated by the driving protocol, which includes the population inversion and the nonadiabaticity-induced transition as its ingredients, is shown to be robust against pulse truncation. We further demonstrate that the protocol allows for universal manipulation on the qubit system through designing pulse sequences with either properly adjusted sweeping frequency …

2021 retro-link! https://sporks.space/2021/04/05/ghosts-of-osi-the-spectre-haunting-ip/ - Ghosts of OSI: the spectre haunting the Internet.

Dröjer ganska många år till innan man vet om det här får en betydande effekt på allvarlig sjukdom. Men positiv start...
A new screening protocol can detect aggressive prostate cancers more selectively
https://www.eurekalert.org/news-releases/1040787

DT-SIM: Property-Based Testing for MPC Security
Mako Bates, Joe Near
https://arxiv.org/abs/2403.04991 https://arxiv.org/pdf/2403.0499…

DT-SIM: Property-Based Testing for MPC Security
Formal methods for guaranteeing that a protocol satisfies a cryptographic security definition have advanced substantially, but such methods are still labor intensive and the need remains for an automated tool that can positively identify an insecure protocol. In this work, we demonstrate that property-based testing, "run it a bunch of times and see if it breaks", is effective for detecting security bugs in secure protocols. We specifically target Secure Multi-Party Computation (MPC), because fo…

Intelligent Reflecting Surface Aided AirComp: Multi-Timescale Design and Performance Analysis
Guangji Chen, Jun Li, Qingqing Wu, Meng Hua, Kaitao Meng, Zhonghao Lyu
https://arxiv.org/abs/2405.05549

Intelligent Reflecting Surface Aided AirComp: Multi-Timescale Design and Performance Analysis
The integration of intelligent reflecting surface (IRS) into over-the-air computation (AirComp) is an effective solution for reducing the computational mean squared error (MSE) via its high passive beamforming gain. Prior works on IRS aided AirComp generally rely on the full instantaneous channel state information (I-CSI), which is not applicable to large-scale systems due to its heavy signalling overhead. To address this issue, we propose a novel multi-timescale transmission protocol. In parti…

The Hyperdrive Protocol: An Automated Market Maker for Fixed and Variable Rates
Jonny Rhea, Alex Towle, Mihai Cosma
https://arxiv.org/abs/2404.05036 https:…

The Hyperdrive Protocol: An Automated Market Maker for Fixed and Variable Rates
Hyperdrive is a protocol designed to facilitate the trading of fixed and variable rate assets. The protocol's unique pricing model consolidates liquidity into a single pool which addresses the challenges of fragmented liquidity across terms, eliminates the need for rollovers, and allows terms to be issued on demand. Its design meaningfully improves trading efficiency, liquidity provisioning, and user experience over existing fixed and variable rate protocol models.

This https://arxiv.org/abs/2310.19699 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…

Optimizing Logical Execution Time Model for Both Determinism and Low Latency
The Logical Execution Time (LET) programming model has recently received considerable attention, particularly because of its timing and dataflow determinism. In LET, task computation appears always to take the same amount of time (called the task's LET interval), and the task reads (resp. writes) at the beginning (resp. end) of the interval. Compared to other communication mechanisms, such as implicit communication and Dynamic Buffer Protocol (DBP), LET performs worse on many metrics, such as e…

fediverse: Fediverse network (2018)
An early snapshot of the federation network among web publishers using the ActivityPub protocol. Nodes are instances, and a directed edge exists if an instance follows another instance.
This network has 4860 nodes and 484164 edges.
Tags: Social, Online, Information
https://

Clinical Trials Protocol Authoring using LLMs
Morteza Maleki
https://arxiv.org/abs/2404.05044 https://arxiv.org/pdf/2404.05044…

Clinical Trials Protocol Authoring using LLMs
This report embarks on a mission to revolutionize clinical trial protocol development through the integration of advanced AI technologies. With a focus on leveraging the capabilities of generative AI, specifically GPT-4, this initiative aimed to streamline and enhance the efficiency and accuracy of clinical trial protocols. The methodology encompassed a detailed analysis and preparation of comprehensive drug and study level metadata, followed by the deployment of GPT-4 for automated protocol se…

Dynamic Size Counting in the Population Protocol Model
Dominik Kaaser, Maximilian Lohmann
https://arxiv.org/abs/2405.05137 https://ar…

Dynamic Size Counting in the Population Protocol Model
The population protocol model describes collections of distributed agents that interact in pairs to solve a common task. We consider a dynamic variant of this prominent model, where we assume that an adversary may change the population size at an arbitrary point in time. In this model we tackle the problem of counting the population size: in the dynamic size counting problem the goal is to design an algorithm that computes an approximation of $\log n$. This estimate can be used to turn static, …

This https://arxiv.org/abs/2402.13768 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csMS_…

Democratizing Uncertainty Quantification
Uncertainty Quantification (UQ) is vital to safety-critical model-based analyses, but the widespread adoption of sophisticated UQ methods is limited by technical complexity. In this paper, we introduce UM-Bridge (the UQ and Modeling Bridge), a high-level abstraction and software protocol that facilitates universal interoperability of UQ software with simulation codes. It breaks down the technical complexity of advanced UQ applications and enables separation of concerns between experts. UM-Bridg…

Exact Floquet flat band and heating suppression via two-rate drive protocols
Tista Banerjee, Sayan Choudhury, K. Sengupta
https://arxiv.org/abs/2404.06536 …

Exact Floquet flat band and heating suppression via two-rate drive protocols
We demonstrate the existence of exact Floquet flat bands implying strong violation of the eigenstate thermalization hypothesis in a large class of closed quantum many-body systems in the presence of a two-rate drive characterized by frequencies $Ω_1$ and $Ω_2=νΩ_1$. We provide the exact analytic condition for this phenomenon to occur for a generic protocol; in particular, $ν=(2p+1)$, where $p$ is an integer, leads to such flat bands for both square-pulse and cosine drive protocols for arbi…

DT-SIM: Property-Based Testing for MPC Security
Mako Bates, Joe Near
https://arxiv.org/abs/2403.04991 https://arxiv.org/pdf/2403.0499…

DT-SIM: Property-Based Testing for MPC Security
Formal methods for guaranteeing that a protocol satisfies a cryptographic security definition have advanced substantially, but such methods are still labor intensive and the need remains for an automated tool that can positively identify an insecure protocol. In this work, we demonstrate that property-based testing, "run it a bunch of times and see if it breaks", is effective for detecting security bugs in secure protocols. We specifically target Secure Multi-Party Computation (MPC), because fo…

Announcement of the memorial service for Dr David Mills, inventor of the Network Time Protocol, has wrong time zone calculation.
Google calendar invite has different, also wrong time zone.
https://mailman.nanog.org/pipermail/nanog/2024-March/225193.html

Non-Gaussian state teleportation with a nonlinear feedforward
Vojt\v{e}ch Kala, Mattia Walschaers, Radim Filip, Petr Marek
https://arxiv.org/abs/2404.06438

Non-Gaussian state teleportation with a nonlinear feedforward
Measurement-induced quantum computation with continuous-variable cluster states utilizes teleportation propagating the states through the cluster accompanied by non-Gaussian measurements and feedforward control. We analyze such propagation of a quantum non-Gaussian state with nonlinear squeezing through a small cluster state and show that when a nonlinear feedforward is involved in the teleportation protocol, higher nonlinear squeezing can be transferred. In a probabilistic regime, the improvem…

So #Bluesky is doing developer grants, even if very small ones. $500-$2000/project, $10k total. One thing that having a funded project lets you do.
https://bsky.app/profile/atproto.com/p

Analysis of Privacy Leakage in Federated Large Language Models
Minh N. Vu, Truc Nguyen, Tre' R. Jeter, My T. Thai
https://arxiv.org/abs/2403.04784 http…

Analysis of Privacy Leakage in Federated Large Language Models
With the rapid adoption of Federated Learning (FL) as the training and tuning protocol for applications utilizing Large Language Models (LLMs), recent research highlights the need for significant modifications to FL to accommodate the large-scale of LLMs. While substantial adjustments to the protocol have been introduced as a response, comprehensive privacy analysis for the adapted FL protocol is currently lacking. To address this gap, our work delves into an extensive examination of the priv…

This is the greatest thing about activitypub and fedi and the permissionless protocol openness.
Free experimentation, lots of really good clients. No restrictions on paying to use the APIs or being banned because you don't show the adverts. No permission needed from a CEO or a Tech Support to just make the best client and nobody cares if everyone stops using Mastodon front-end.
Doesn't matter how many millions you spend on software development if the aim is serving the corporation not the user. You still get manipulative shitware.

“The recent advances in artificial intelligence (AI) such as large language models enable the design of the Faster than LIght speed Protocol (FLIP) for Internet. FLIP provides a way to avoid congestion, enhance security, and deliver faster packets on the Internet by using AI to predict future packets at the receiving peer before they arrive.”
RFC 9564
Faster Than Light Speed Protocol (FLIP)

#Google Public #DNS’s approach to fight against cache poisoning attacks #infosec

Unexpected potential application of generative-AI technology; looks attractive in theory: https://www.rfc-editor.org/rfc/rfc9564.html

Introducing SecureDrop Protocol https://securedrop.org/news/introducing-securedrop-protocol/

With 4 days to go before Europe's 'EV charging law' #AFIR comes into force, today's post looks at the technical standards. No, no 'plug war' in Europe (but maybe a protocol war?)

Jaap Burger on LinkedIn: #afir
In 4 days time, on 13 April 2024 📆, most of the provisions of the 🇪🇺 European Alternative Fuels Infrastructure Regulation #AFIR for new charging points (and…

Bluesky details its product roadmap: an off-protocol DM system to facilitate one-on-one chats, custom feeds, anti-harassment tools, video support, and more (Ivan Mehta/TechCrunch)
https://techcrunch.com/2024/05/08/bluesky-to-add-…

Bluesky to add DMs, video support and in-app custom feed curation | TechCrunch
The social network said it is planning to introduce direct messages, support for videos, improved custom feeds, and new moderation controls.

Non-Gaussian state teleportation with a nonlinear feedforward
Vojt\v{e}ch Kala, Mattia Walschaers, Radim Filip, Petr Marek
https://arxiv.org/abs/2404.06438

Non-Gaussian state teleportation with a nonlinear feedforward
Measurement-induced quantum computation with continuous-variable cluster states utilizes teleportation propagating the states through the cluster accompanied by non-Gaussian measurements and feedforward control. We analyze such propagation of a quantum non-Gaussian state with nonlinear squeezing through a small cluster state and show that when a nonlinear feedforward is involved in the teleportation protocol, higher nonlinear squeezing can be transferred. In a probabilistic regime, the improvem…

The next incarnation of RetroNetCall, our monthly virtual get-together of #retronetworking enthusiasts is happening again this week (March 6th) at 20:00 CET. See https://osmocom.org/news/249 for the …

contact: Haggle human proximity network (2006)
A network of human proximities, as measured by carried wireless devices. Each node represents a person, and an edge denotes when two people were within a certain proximity of each other, as measured by a wireless protocol (Bluetooth or Wifi). The edges are timestamped.
This network has 274 nodes and 28244 edges.
Tags: Social, Offline, Unweighted, Timestamps

iTRPL: An Intelligent and Trusted RPL Protocol based on Multi-Agent Reinforcement Learning
Debasmita Dey, Nirnay Ghosh
https://arxiv.org/abs/2403.04416 htt…

iTRPL: An Intelligent and Trusted RPL Protocol based on Multi-Agent Reinforcement Learning
Routing Protocol for Low Power and Lossy Networks (RPL) is the de-facto routing standard in IoT networks. It enables nodes to collaborate and autonomously build ad-hoc networks modeled by tree-like destination-oriented direct acyclic graphs (DODAG). Despite its widespread usage in industry and healthcare domains, RPL is susceptible to insider attacks. Although the state-of-the-art RPL ensures that only authenticated nodes participate in DODAG, such hard security measures are still inadequate to…

This https://arxiv.org/abs/1902.01353 has been replaced.
link: https://scholar.google.com/scholar?q=a

A Session Type System for Asynchronous Unreliable Broadcast Communication
Session types are formal specifications of communication protocols, allowing protocol implementations to be verified by typechecking. Up to now, session type disciplines have assumed that the communication medium is reliable, with no loss of messages. However, unreliable broadcast communication is common in a wide class of distributed systems such as ad-hoc and wireless sensor networks. Often such systems have structured communication patterns that should be amenable to analysis by means of ses…

Analysis of Privacy Leakage in Federated Large Language Models
Minh N. Vu, Truc Nguyen, Tre' R. Jeter, My T. Thai
https://arxiv.org/abs/2403.04784 http…

Analysis of Privacy Leakage in Federated Large Language Models
With the rapid adoption of Federated Learning (FL) as the training and tuning protocol for applications utilizing Large Language Models (LLMs), recent research highlights the need for significant modifications to FL to accommodate the large-scale of LLMs. While substantial adjustments to the protocol have been introduced as a response, comprehensive privacy analysis for the adapted FL protocol is currently lacking. To address this gap, our work delves into an extensive examination of the priv…

We need to talk about the recently published WeDistribute Article regarding Mastodon user's response to a new federated service.
To make a long story short, someone tried setting up a website called ContentNation which would display Fediverse posts. To do so it adhered to the ActivityPub protocol, just like every Masto…

Content Nation Backlash Highlights Mastodon's Toxicity
It turns out, if people in an online community really don't like what you're doing, they can turn to harassment, threats, or worse to try to shut you down.

Proximity-Induced Exchange Interaction: a New Pathway for Quantum Sensing using Spin Centers in Hexagonal Boron Nitride
Lingnan Shen, Di Xiao, Ting Cao
https://arxiv.org/abs/2404.05208

Proximity-Induced Exchange Interaction: a New Pathway for Quantum Sensing using Spin Centers in Hexagonal Boron Nitride
Defects in hexagonal boron nitride (hBN), a two-dimensional van der Waals material, have raised wide range interest for its potential in various quantum applications. Due to hBN's 2D nature, spin center in hBN can be engineered in close proximity to target material, providing advantages over their 3D counterparts, such as nitrogen-vacancy (NV) center in diamond. Here we propose a novel quantum sensing protocol driven by exchange interaction between spin center in hBN and the underlying magnetic…

Double Exponential Lower Bound for Telephone Broadcast
Prafullkumar Tale
https://arxiv.org/abs/2403.03501 https://arxiv.org/pdf/2403.…

Double Exponential Lower Bound for Telephone Broadcast
Consider the Telephone Broadcast problem in which an input is a connected graph $G$ on $n$ vertices, a source vertex $s \in V(G)$, and a positive integer $t$. The objective is to decide whether there is a broadcast protocol from $s$ that ensures that all the vertices of $G$ get the message in at most $t$ rounds. We consider the broadcast protocol where, in a round, any node aware of the message can forward it to at most one of its neighbors. As the number of nodes aware of the message can at mo…

contact: Haggle human proximity network (2006)
A network of human proximities, as measured by carried wireless devices. Each node represents a person, and an edge denotes when two people were within a certain proximity of each other, as measured by a wireless protocol (Bluetooth or Wifi). The edges are timestamped.
This network has 274 nodes and 28244 edges.
Tags: Social, Offline, Unweighted, Timestamps

Protocol-invention-itis:
A widespread disease among software developers.
Like for other diseases, a simple vaccination -- ahem, a bit of research on what exists already -- can eliminate 90% of the outbreaks.
Just sayin'.

It's official: Jack Dorsey left Bluesky.
In my opinion it is a good news for bluesky and the AT protocol.
#JackDorsey

vSPACE: Voting in a Scalable, Privacy-Aware and Confidential Election
Se Elnour, William J Buchanan, Paul Keating, Mwrwan Abubakar, Sirag Elnour
https://arxiv.org/abs/2403.05275 <…

vSPACE: Voting in a Scalable, Privacy-Aware and Confidential Election
The vSPACE experimental proof-of-concept (PoC) on the TrueElect[Anon][Creds] protocol presents a novel approach to secure, private, and scalable elections, extending the TrueElect and ElectAnon protocols with the integration of AnonCreds SSI (Self-Sovereign Identity). Such a protocol PoC is situated within a Zero-Trust Architecture (ZTA) and leverages confidential computing, continuous authentication, multi-party computation (MPC), and well-architected framework (WAF) principles to address the …

Call for help from #RSS #efficiency #protocol nerds!
RSS is maybe coming back into fashion. So it's a shame that it is often implemented inefficiently, with

RSS Podcast Efficiency
The carbon cost of sloppy implementation for a service becoming fashionable again... #frugal #greenSoftware

Energy-Based Optimization of Physical-Layer Challenge-Response Authentication with Drones
Francesco Ardizzon, Damiano Salvaterra, Mattia Piana, Stefano Tomasin
https://arxiv.org/abs/2405.03608

Energy-Based Optimization of Physical-Layer Challenge-Response Authentication with Drones
Drones are expected to be used for many tasks in the future and require secure communication protocols. In this work, we propose a novel physical layer authentication (PLA)-based challenge-response (CR) protocol in which a drone Bob authenticates the sender (either on the ground or air) by exploiting his prior knowledge of the wireless channel statistic (fading, path loss, and shadowing). In particular, Bob will move to a set of positions in the space, and by estimating the attenuations of the …

This https://arxiv.org/abs/2310.02571 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_ees…

The role of local bounds on neighborhoods in the network for scale-free state synchronization of multi-agent systems
This paper provides necessary and sufficient conditions for the existence of solutions to the state synchronization problem of homogeneous multi-agent systems (MAS) via scale-free linear dynamic non-collaborative protocol for both continuous- and discrete-time. These conditions guarantee for which class of MAS, one can achieve scale-free state synchronization. We investigate protocol design with and without utilizing local bounds on neighborhood. The results show that the availability of local …

How Meta wants to create messaging interoperability with third parties safe for users in Europe.
Nice sentence in this article which indicates which app you should anyway.. "In order to maximize user security, we would prefer third-party providers to use the Signal Protocol. "
h…

Making messaging interoperability with third parties safe for users in Europe
To comply with a new EU law, the Digital Markets Act (DMA), which comes into force on March 7th, we’ve made major changes to WhatsApp and Messenger to enable interoperability with third-party messa…

With 4 days to go before Europe's 'EV charging law' #AFIR comes into force, today's post looks at the technical standards. No, no 'plug war' in Europe (but maybe a protocol war?)

Jaap Burger on LinkedIn: #afir
In 4 days time, on 13 April 2024 📆, most of the provisions of the 🇪🇺 European Alternative Fuels Infrastructure Regulation #AFIR for new charging points (and…

You Can Run BASIC On an Old HP 4592 Protocol Analyzer
https://poliverso.org/display/0477a01e-273ce170-53cc4f9c18ea694f
You Can Run BASIC On an Old HP 4592 Protocol Analyzer What do you do when you find an ancient piece of test gear and want to have …

Ukrainian soldiers near Kupiansk prepare for looming Russian offensive: https://benborges.xyz/2024/03/06/ukrainian-soldiers-near.html

vSPACE: Voting in a Scalable, Privacy-Aware and Confidential Election
Se Elnour, William J Buchanan, Paul Keating, Mwrwan Abubakar, Sirag Elnour
https://arxiv.org/abs/2403.05275 <…

vSPACE: Voting in a Scalable, Privacy-Aware and Confidential Election
The vSPACE experimental proof-of-concept (PoC) on the TrueElect[Anon][Creds] protocol presents a novel approach to secure, private, and scalable elections, extending the TrueElect and ElectAnon protocols with the integration of AnonCreds SSI (Self-Sovereign Identity). Such a protocol PoC is situated within a Zero-Trust Architecture (ZTA) and leverages confidential computing, continuous authentication, multi-party computation (MPC), and well-architected framework (WAF) principles to address the …

Restricted Randomized Benchmarking with Universal Gates of Fixed Sequence Length
Mohsen Mehrani, Kasra Masoudi, Rawad Mezher, Elham Kashefi, Debasis Sadhukhan
https://arxiv.org/abs/2405.05215

Restricted Randomized Benchmarking with Universal Gates of Fixed Sequence Length
The standard randomized benchmarking protocol requires access to often complex operations that are not always directly accessible. Compiler optimization does not always ensure equal sequence length of the directly accessible universal gates for each random operation. We introduce a version of the RB protocol that creates Haar-randomness using a directly accessible universal gate set of equal sequence length rather than relying upon a t-design or even an approximate one. This makes our protocol …

The Connectivity Standards Alliance releases Matter 1.3, adding support for more appliances, energy and water management, and new casting protocol features (Jennifer Pattison Tuohy/The Verge)
https://www.theverge.com/2024/5/8/24151664

Matter 1.3 arrives with new device type and features
The new Matter 1.3 spec adds energy management, EV chargers, and ovens to the smart home standard.

This https://arxiv.org/abs/2403.20199 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csNI_…

NeuraLunaDTNet: Feedforward Neural Network-Based Routing Protocol for Delay-Tolerant Lunar Communication Networks
Space Communication poses challenges such as severe delays, hard-to-predict routes and communication disruptions. The Delay Tolerant Network architecture, having been specifically designed keeping such scenarios in mind, is suitable to address some challenges. The traditional DTN routing protocols fall short of delivering optimal performance, due to the inherent complexities of space communication. Researchers have aimed at using recent advancements in AI to mitigate some routing challenges [9]…

“Don’t stand in the door frame: what to do in an earthquake”
#1: Check to make sure *I’M* not in the room. Because I will bulldozer your dumb, stationary ass over going through the door frame you’re standing in! 🤣
https://www.theguardian.com/world/2024/apr

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
Tom Yaacov, Achiya Elyasaf, Gera Weiss
https://arxiv.org/abs/2404.01858 h…

Keeping Behavioral Programs Alive: Specifying and Executing Liveness Requirements
One of the benefits of using executable specifications such as Behavioral Programming (BP) is the ability to align the system implementation with its requirements. This is facilitated in BP by a protocol that allows independent implementation modules that specify what the system may, must, and must not do. By that, each module can enforce a single system requirement, including negative specifications such as "don't do X after Y." The existing BP protocol, however, allows only the enforcement of…

So former PM Brian Mulroney has died.
This is damning with faint praise, but it is a statement of just how far "Conservatism" has fallen when you consider he was the host for the signing of the Montreal Protocol which banned Ozone hole creating CFCs and he led Canada as an Environmental leader in the 90s.
Unthinkable for today's Conservatives....
He's also our Reagan... and corrupt... so there's that....

This https://arxiv.org/abs/2312.09884 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_sta…

Investigating the heterogeneity of "study twins"
Meta-analyses are commonly performed based on random-effects models, while in certain cases one might also argue in favour of a common-effect model. One such case may be given by the example of two "study twins" that are performed according to a common (or at least very similar) protocol. Here we investigate the particular case of meta-analysis of a pair of studies, e.g. summarizing the results of two confirmatory clinical trials in phase III of a clinical development programme. Thereby, we foc…

Crypto Market Analysis & Real-Estate Business Protocol Proposal | Application of Ethereum Blockchain
Sid Bhatia, Samuel Gedal, Himaya Jeyakumar Grace Lee, Ravinder Chopra, Daniel Roman, Shrijani Chakroborty
https://arxiv.org/abs/2405.02547

Crypto Market Analysis & Real-Estate Business Protocol Proposal | Application of Ethereum Blockchain
This paper examines the dynamics of the cryptocurrency market and proposes a novel blockchain-based protocol for real estate transactions. Our analysis includes a detailed review of price trends, volatility, and correlations within the cryptocurrency market, focusing on major assets like Bitcoin, Ethereum, and Tether. We provide a critical assessment of the impact of significant market events, such as the FTX bankruptcy, highlighting the vulnerabilities and resilience of the crypto market. The …

Privacy-preserving Scanpath Comparison for Pervasive Eye Tracking
Suleyman Ozdel, Efe Bozkir, Enkelejda Kasneci
https://arxiv.org/abs/2404.06216 https://…

Privacy-preserving Scanpath Comparison for Pervasive Eye Tracking
As eye tracking becomes pervasive with screen-based devices and head-mounted displays, privacy concerns regarding eye-tracking data have escalated. While state-of-the-art approaches for privacy-preserving eye tracking mostly involve differential privacy and empirical data manipulations, previous research has not focused on methods for scanpaths. We introduce a novel privacy-preserving scanpath comparison protocol designed for the widely used Needleman-Wunsch algorithm, a generalized version of …

@… Maybe we should write things like AT machine and DHC protocol, and see who catches on.

This https://arxiv.org/abs/2405.03357 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csGT_…

A Game Theoretic Analysis of Validator Strategies in Ethereum 2.0
Ethereum 2.0 is the second-largest cryptocurrency by market capitalization and a widely used smart contract platform. Therefore, examining the reliability of Ethereum 2.0's incentive mechanism is crucial, particularly its effectiveness in encouraging validators to adhere to the Ethereum 2.0's protocol. This paper studies the incentive mechanism of Ethereum 2.0 and evaluates its robustness by analyzing the interaction between block proposers and attesters in a single slot. To this end, we use Ba…

We need to talk about the recently published WeDistribute Article regarding Mastodon user's response to a new federated service.
To make a long story short, someone tried setting up a website called ContentNation which would display Fediverse posts. To do so it adhered to the ActivityPub protocol, just like every Masto…

Content Nation Backlash Highlights Mastodon's Toxicity
It turns out, if people in an online community really don't like what you're doing, they can turn to harassment, threats, or worse to try to shut you down.

This https://arxiv.org/abs/2312.10593 has been replaced.
link: https://scholar.google.com/scholar?q=a

A Novel RFID Authentication Protocol Based on A Block-Order-Modulus Variable Matrix Encryption Algorithm
In this paper, authentication for mobile radio frequency identification (RFID) systems with low-cost tags is studied. Firstly, an adaptive modulus (AM) encryption algorithm is proposed. Subsequently, in order to enhance the security without additional storage of new key matrices, a self-updating encryption order (SUEO) algorithm is designed. Furthermore, a diagonal block local transpose key matrix (DBLTKM) encryption algorithm is presented, which effectively expands the feasible domain of the k…

This https://arxiv.org/abs/2310.18042 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csDC_…

Sui Lutris: A Blockchain Combining Broadcast and Consensus
Sui Lutris is the first smart-contract platform to sustainably achieve sub-second finality. It achieves this significant decrease by employing consensusless agreement not only for simple payments but for a large variety of transactions. Unlike prior work, Sui Lutris neither compromises expressiveness nor throughput and can run perpetually without restarts. Sui Lutris achieves this by safely integrating consensuless agreement with a high-throughput consensus protocol that is invoked out of the c…

yesterday and today marks the first time we've transmitted Telefax G4 over our OCTOI #retronetworking community ISDN-over-IP network using an actual historical G4 capable fax machine (Canon FAX-L260i) - the machine itself can print D- and B-channel protocol traces!

On HTLC-Based Protocols for Multi-Party Cross-Chain Swaps
Emily Clark, Chloe Georgiou, Katelyn Poon, Marek Chrobak
https://arxiv.org/abs/2403.03906 https:/…

On HTLC-Based Protocols for Multi-Party Cross-Chain Swaps
In his 2018 paper, Herlihy introduced an atomic protocol for multi-party asset swaps across different blockchains. His model represents an asset swap by a directed graph whose nodes are the participating parties and edges represent asset transfers, and rational behavior of the participants is captured by a preference relation between a protocol's outcomes. Asset transfers between parties are achieved using smart contracts. These smart contracts are quite involved and they require storage and pr…

This https://arxiv.org/abs/2402.01068 has been replaced.
link: https://scholar.google.com/scholar?q=a

Unbreakable and breakable quantum censorship
A protocol for regulating the distribution of quantum information between multiple parties is put forward. In order to prohibit the unrestricted distribution of quantum-resource states in a public quantum network, agents can apply a resource-destroying map to each sender's channel. Since resource-destroying maps only exist for affine quantum resource theories, censorship of a nonaffine resource theory is established on an operationally motivated subspace of free states. This is achieved by usin…

So #Bluesky is implementing an (unspecified) new protocol for direct messages. Because AtProto is really not suitable for anything that isn't 100% public.
I wonder whether they can do this now that Jack is off the board. But maintaining two separate protocols in the same app? Who knows, maybe #ActivityPub

Product Roadmap - Bluesky
What’s coming next? Over the next few months, we’ll be introducing some long-requested features.

Improving HTTP/3 Quality of Experience with EPS
Abhinav Gupta, Radim Bartos
https://arxiv.org/abs/2403.04074 https://arxiv.org/pdf/24…

Improving HTTP/3 Quality of Experience with EPS
With the introduction of QUIC, a modern transport-layer network protocol, HTTP/3 leverages its benefits to enhance web content delivery. This paper proposes a mechanism based on the recently standardized Extensible Prioritization Scheme (EPS) for weighted incremental web content delivery. The mechanism augments the sequential scheduling to provide incremental and weighted incremental resource delivery. An existing HTTP/3 implementation was extended with the proposed mechanism and tested with th…

2021 retro-link! https://www.flaginstitute.org/wp/uk-flags/british-flag-protocol/ - British flag protocol: flying the union jack.

This https://arxiv.org/abs/2307.10358 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Virtual mitigation of coherent non-adiabatic transitions by echo verification
Transitions out of the ground space limit the performance of quantum adiabatic algorithms, while hardware imperfections impose stringent limitations on the circuit depth. We propose an adiabatic echo verification protocol which mitigates both coherent and incoherent errors, arising from non-adiabatic transitions and hardware noise, respectively. Quasi-adiabatically evolving forward and backwards allows for an echo-verified measurement of any observable. In addition to mitigating hardware noise,…

A Game Theoretic Analysis of Validator Strategies in Ethereum 2.0
Chien-Chih Chen, Wojciech Golab
https://arxiv.org/abs/2405.03357 https://

A Game Theoretic Analysis of Validator Strategies in Ethereum 2.0
Ethereum 2.0 is the second-largest cryptocurrency by market capitalization and a widely used smart contract platform. Therefore, examining the reliability of Ethereum 2.0's incentive mechanism is crucial, particularly its effectiveness in encouraging validators to adhere to the Ethereum 2.0's protocol. This paper studies the incentive mechanism of Ethereum 2.0 and evaluates its robustness by analyzing the interaction between block proposers and attesters in a single slot. To this end, we use Ba…

So former PM Brian Mulroney has died.
This is damning with faint praise, but it is a statement of just how far "Conservatism" has fallen when you consider he was the host for the signing of the Montreal Protocol which banned Ozone hole creating CFCs and he led Canada as an Environmental leader in the 90s.
Unthinkable for today's Conservatives....
He's also our Reagan... and corrupt... so there's that....

The Future of MEV
Jonah Burian
https://arxiv.org/abs/2404.04262 https://arxiv.org/pdf/2404.04262

The Future of MEV
This paper analyzes the Execution Tickets proposal on Ethereum Research, unveiling its potential to revolutionize the Ethereum blockchain's economic model. At the core of this proposal lies a novel ticketing mechanism poised to redefine how the Ethereum protocol distributes the value associated with proposing execution payloads. This innovative approach enables the Ethereum protocol to directly broker Maximal Extractable Value (MEV), traditionally an external revenue stream for validators. The …

Meta details WhatsApp and Messenger interoperability under the EU's DMA, saying third-parties must use Signal's protocol, which Meta already uses for encryption (Sarah Perez/TechCrunch)
https://techcrunch.com/2024/03/06/to-c

To comply with DMA, WhatsApp and Messenger will become interoperable via Signal | TechCrunch
Meta today is offering more details about how it plans to make its messaging apps, WhatsApp and Messenger, interoperable with third-party messaging

TRAC: a tool for data-aware coordination (with an application to smart contracts)
Joao Afonso, Elvis Konjoh Selabi, Maurizio Murgia, Antonio Ravara, Emilio Tuosto
https://arxiv.org/abs/2404.19523

TRAC: a tool for data-aware coordination (with an application to smart contracts)
We propose TRAC, a tool for the specification and verification of coordinated multiparty distributed systems. Relying on finite-state machines (FSMs) where transition labels look like Hoare triples, \thetool can specify the coordination of the participants of a distributed protocol for instance an execution model akin blockchain smart contracts (SCs). In fact, the transitions of our FSMs yield guards, and assignments over data variables, and with participants binders. The latter allow us to mod…

@… Maybe we should write things like AT machine and DHC protocol, and see who catches on.

This https://arxiv.org/abs/2309.14437 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Universally Robust Quantum Control
We study the robustness of the evolution of a quantum system against small uncontrolled variations in parameters in the Hamiltonian. We show that the fidelity susceptibility, which quantifies the perturbative error to leading order, can be expressed in superoperator form and use this to derive control pulses which are robust to any class of systematic unknown errors. The proposed optimal control protocol is equivalent to searching for a sequence of unitaries that mimics the first-order moments …

as_skitter: Skitter IP graph (2005)
An aggregate snapshot of the Internet Protocol (IP) graph, as measured by the traceroute tool on CAIDA's skitter infrastructure, in 2005.
This network has 1696415 nodes and 11095298 edges.
Tags: Technological, Communication, Unweighted
https://networks.skewed.d…

Hook-in Privacy Techniques for gRPC-based Microservice Communication
Louis Loechel, Siar-Remzi Akbayin, Elias Gr\"unewald, Jannis Kiesel, Inga Strelnikova, Thomas Janke, Frank Pallas
https://arxiv.org/abs/2404.05598

Hook-in Privacy Techniques for gRPC-based Microservice Communication
gRPC is at the heart of modern distributed system architectures. Based on HTTP/2 and Protocol Buffers, it provides highly performant, standardized, and polyglot communication across loosely coupled microservices and is increasingly preferred over REST- or GraphQL-based service APIs in practice. Despite its widespread adoption, gRPC lacks any advanced privacy techniques beyond transport encryption and basic token-based authentication. Such advanced techniques are, however, increasingly important…

This https://arxiv.org/abs/2404.01593 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csDC_…

Optimizing Distributed Protocols with Query Rewrites [Technical Report]
Distributed protocols such as 2PC and Paxos lie at the core of many systems in the cloud, but standard implementations do not scale. New scalable distributed protocols are developed through careful analysis and rewrites, but this process is ad hoc and error-prone. This paper presents an approach for scaling any distributed protocol by applying rule-driven rewrites, borrowing from query optimization. Distributed protocol rewrites entail a new burden: reasoning about spatiotemporal correctness. W…

Bounds of Block Rewards in Honest PinFi Systems
Qi He, Yunwei Mao, Ju Li
https://arxiv.org/abs/2404.02174 https://arxiv.org/pdf/2404.…

Bounds of Block Rewards in Honest PinFi Systems
PinFi is a class of novel protocols for decentralized pricing of dissipative assets, whose value naturally declines over time. Central to the protocol's functionality and its market efficiency is the role of liquidity providers (LPs). This study addresses critical stability and sustainability challenges within the protocol, namely: the propensity of LPs to prefer selling in external markets over participation in the protocol; a similar inclination towards selling within the PinFi system rather …

Ethereum liquid restaking protocol ether.fi raised a $23M Series A led by Bullish Capital and CoinFund, as the total value locked on the protocol rises to $1.6B (Oliver Knight/CoinDesk)
https://www.coindesk.com/business/2024/02/2…

This https://arxiv.org/abs/2312.00025 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Secure Transformer Inference Protocol
Security of model parameters and user data is critical for Transformer-based services, such as ChatGPT. While recent strides in secure two-party protocols have successfully addressed security concerns in serving Transformer models, their adoption is practically infeasible due to the prohibitive cryptographic overheads involved. Drawing insights from our hands-on experience in developing two real-world Transformer-based services, we identify the inherent efficiency bottleneck in the two-party as…

This https://arxiv.org/abs/2403.02321 has been replaced.
link: https://scholar.google.com/scholar?q=a

Quantum-enhanced sensing of axion dark matter with a transmon-based single microwave photon counter
We report an axion dark matter search with a haloscope equipped with a microwave photon counter. The haloscope is a tunable high quality factor 3-dimensional microwave cavity placed in a magnetic field. The photon counter, operated cyclically, maps an incoming microwave photon onto the state of a superconducting transmon qubit. The measurement protocol continuously monitors the power emitted by the haloscope cavity as well as the dark count background, and enables tuning of the cavity frequency…

This https://arxiv.org/abs/2212.09268 has been replaced.
link: https://scholar.google.com/scholar?q=a

UAVCAN Dataset Description
We collected attack data from unmanned vehicles using the UAVCAN protocol, and public and described technical documents. A testbed was built with a drone using PX4, and a total of three attacks, Flooding, Fuzzy, and Replay, were performed. The attack was carried out in a total of 10 scenarios. We expect that the attack data will help develop technologies such as anomaly detection to solve the security threat problem of drones.

as_skitter: Skitter IP graph (2005)
An aggregate snapshot of the Internet Protocol (IP) graph, as measured by the traceroute tool on CAIDA's skitter infrastructure, in 2005.
This network has 1696415 nodes and 11095298 edges.
Tags: Technological, Communication, Unweighted
https://networks.skewed.d…

Matter: IoT Interoperability for Smart Homes
Saeid Madadi-Barough, Pau Ruiz-Blanco, Jiadeng Lin, Rafael Vidal, Carles Gomez
https://arxiv.org/abs/2405.01618

Matter: IoT Interoperability for Smart Homes
The smart home is a major Internet of Things (IoT) application domain with tremendous market expectations. However, communication solutions for smart home devices have exhibited a lack of interoperability, especially, but not only, at the highest layers of the protocol stack. This issue challenges the success of the smart home concept. In order to overcome this problem, crucial industry organizations, including Google, Apple, Amazon and the Connectivity Standards Alliance (formerly, the ZigBee …

"For being a collection of open-source Social Media services, theoretically built on top of an open open-source protocol, we spend an incredible amount of time making sure we disable ways to communicate and allowing ourselves to be governed by not-so-open "rules"".
Sometimes it certainly feels that way.
h/t @… in

m@thias.hellqui.st (@m@thias.hellqui.st)
@laurenshof To me that is like giving blood to lose weight. Or killing mosquitos with a shotgun. Sure, it kind of solves the problem. There will be lots of collateral damage though. People who wi...

A Confirmation Rule for the Ethereum Consensus Protocol
Aditya Asgaonkar, Francesco D'Amato, Roberto Saltini, Luca Zanolini, Chenyi Zhang
https://arxiv.org/abs/2405.00549

A Confirmation Rule for the Ethereum Consensus Protocol
A Confirmation Rule, within blockchain networks, refers to an algorithm implemented by network nodes that determines (either probabilistically or deterministically) the permanence of certain blocks on the blockchain. An example of Confirmation Rule is the Bitcoin's longest chain Confirmation Rule where a block is confirmed (with high probability) when it has a sufficiently long chain of successors, its siblings have notably shorter successor chains, and network synchrony holds. In this work, we…

This https://arxiv.org/abs/2205.10580 has been replaced.
link: https://scholar.google.com/scholar?q=a

Towards Secure Virtual Elections: Multiparty Computation of Order Based Voting Rules
Electronic voting systems are essential for holding virtual elections, and the need for such systems increases due to the COVID-19 pandemic and the social distancing that it mandates. One of the main challenges in e-voting systems is to secure the voting process: namely, to certify that the computed results are consistent with the cast ballots, and that the privacy of the voters is preserved. We propose herein a secure voting protocol for elections that are governed by order-based voting rules.…

Proof of Sampling: A Nash Equilibrium-Secured Verification Protocol for Decentralized Systems
Yue Zhang, Shouqiao Wang, Xiaoyuan Liu, Sijun Tan, Raluca Ada Popa, Ciamac C. Moallemi
https://arxiv.org/abs/2405.00295

Proof of Sampling: A Nash Equilibrium-Secured Verification Protocol for Decentralized Systems
This paper presents a secure and versatile sampling-based verification protocol, Proof of Sampling (PoSP) protocol, suitable for a wide range of decentralized applications. Our protocol has a pure strategy Nash Equilibrium, which compels rational participants to act honestly, thus fortifying the network's integrity. This design effectively eliminates the possibility of free-riding, achieving this with manageable computational overhead. When applied to decentralized inference for AI applications…

This https://arxiv.org/abs/2404.17727 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Efficient Mediated Semi-Quantum Key Distribution Protocol Using Single Qubits
In this paper, we propose a new efficient mediated semi-quantum key distribution (MSQKD) protocol, facilitating the establishment of a shared secret key between two classical participants with the assistance of an untrusted third party (TP). Unlike existing MSQKD protocols, our approach significantly reduces the quantum requirements for TP, who only needs to prepare and measure qubits in the $X$ basis. Meanwhile, the classical participants are limited to preparing and measuring qubits in the $Z…

Hercules: Heterogeneous Requirements Congestion Control Protocol
Neta Rozen-Schiff, Itzcak Pechtalt, Amit Navon, Leon Bruckman
https://arxiv.org/abs/2403.00590

Hercules: Heterogeneous Requirements Congestion Control Protocol
Today's networks are struggling to scale and satisfy the high number and high variety of co-existing network requirements. While existing congestion control (CC) protocols are designed to handle strict classification of network flows into one or few priorities, a more granular and dynamic congestion control is needed. In this paper we present Hercules, a novel CC protocol based on an online learning approach, which supports unbounded and continues requirements space. We implemented Hercules a…

OpenVPN is Open to VPN Fingerprinting
Diwen Xue, Reethika Ramesh, Arham Jain, Michalis Kallitsis, J. Alex Halderman, Jedidiah R. Crandall, Roya Ensafi
https://arxiv.org/abs/2403.03998

OpenVPN is Open to VPN Fingerprinting
VPN adoption has seen steady growth over the past decade due to increased public awareness of privacy and surveillance threats. In response, certain governments are attempting to restrict VPN access by identifying connections using "dual use" DPI technology. To investigate the potential for VPN blocking, we develop mechanisms for accurately fingerprinting connections using OpenVPN, the most popular protocol for commercial VPN services. We identify three fingerprints based on protocol features s…

This https://arxiv.org/abs/2401.08370 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Digital quantum simulation of gravitational optomechanics with IBM quantum computers
We showcase the digital quantum simulation of the action of a Hamiltonian that governs the interaction between a quantum mechanical oscillator and an optical field, generating quantum entanglement between them via gravitational effects. This is achieved by making use of a boson-qubit mapping protocol and a digital gate decomposition that allow us to run the simulations in the quantum computers available in the IBM Quantum platform. We present the obtained results for the fidelity of the experim…

This https://arxiv.org/abs/2403.03202 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_qu…

Quantum superpositions of current states in Rydberg-atom networks
Quantum simulation of many-body quantum systems using Rydberg-atom platforms has become of extreme interest in the last years. The possibility to realize spin Hamiltonians and the accurate control at the single atom level paved the way for the study of quantum phases of matter and dynamics. Here, we propose a quantum optimal control protocol to engineer current states: quantum states characterized by Rydberg excitations propagating in a given spatially closed tweezer networks. Indeed, current s…

This https://arxiv.org/abs/2305.12173 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

CryptoVampire: Automated Reasoning for the Complete Symbolic Attacker Cryptographic Model
Cryptographic protocols are hard to design and prove correct, as witnessed by the ever-growing list of attacks even on protocol standards. Symbolic models of cryptography enable automated formal security proofs of such protocols against an idealized model, which abstracts away from the algebraic properties of cryptographic schemes and thus misses attacks. Computational models yield rigorous guarantees but support at present only interactive proofs and/or restricted classes of protocols. A promi…

PhenoAuth: A Novel PUF-Phenotype-based Authentication Protocol for IoT Devices
Hongming Fei, Owen Millwood, Gope Prosanta, Jack Miskelly, Biplab Sikdar
https://arxiv.org/abs/2403.03486

PhenoAuth: A Novel PUF-Phenotype-based Authentication Protocol for IoT Devices
Physical Unclonable Functions (PUFs) have been shown to be a highly promising solution for enabling high security systems tailored for low-power devices. Commonly, PUFs are utilised to generate cryptographic keys on-the-fly, replacing the need to store keys in vulnerable, non-volatile memories. Due to the physical nature of PUFs, environmental variations cause noise, manifesting themselves as errors which are apparent in the initial PUF measurements. This necessitates expensive active error cor…

This https://arxiv.org/abs/2311.12205 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

SDN-Based Dynamic Cybersecurity Framework of IEC-61850 Communications in Smart Grid
In recent years, critical infrastructure and power grids have experienced a series of cyber-attacks, leading to temporary, widespread blackouts of considerable magnitude. Since most substations are unmanned and have limited physical security protection, cyber breaches into power grid substations present a risk. Nowadays, software-defined network (SDN), a popular virtual network technology based on the OpenFlow protocol is being widely used in the substation automation system. However, the susce…

This https://arxiv.org/abs/2210.01988 has been replaced.
link: https://scholar.google.com/scholar?q=a

Bicoptor: Two-round Secure Three-party Non-linear Computation without Preprocessing for Privacy-preserving Machine Learning
The overhead of non-linear functions dominates the performance of the secure multiparty computation (MPC) based privacy-preserving machine learning (PPML). This work introduces a family of novel secure three-party computation (3PC) protocols, Bicoptor, which improve the efficiency of evaluating non-linear functions. The basis of Bicoptor is a new sign determination protocol, which relies on a clever use of the truncation protocol proposed in SecureML (S\&P 2017). Our 3PC sign determination prot…

This https://arxiv.org/abs/2403.14020 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Zero-Knowledge Proof of Distinct Identity: a Standard-compatible Sybil-resistant Pseudonym Extension for C-ITS
Pseudonyms are widely used in Cooperative Intelligent Transport Systems (C-ITS) to protect the location privacy of vehicles. However, the unlinkability nature of pseudonyms also enables Sybil attacks, where a malicious vehicle can pretend to be multiple vehicles at the same time. In this paper, we propose a novel protocol called zero-knowledge Proof of Distinct Identity (zk-PoDI,) which allows a vehicle to prove that it is not the owner of another pseudonym in the local area, without revealing …

This https://arxiv.org/abs/2309.04909 has been replaced.
initial toot: https://mastoxiv.page/@arXiv_csCR_…

Bicoptor 2.0: Addressing Challenges in Probabilistic Truncation for Enhanced Privacy-Preserving Machine Learning
This paper primarily focuses on analyzing the problems and proposing solutions for the probabilistic truncation protocol in existing PPML works from the perspectives of accuracy and efficiency. In terms of accuracy, we reveal that precision selections recommended in some of the existing works are incorrect. We conduct a thorough analysis of their open-source code and find that their errors were mainly due to simplified implementation, more specifically, fixed numbers are used instead of random …

Inferring State Machine from the Protocol Implementation via Large Langeuage Model
Haiyang Wei, Zhengjie Du, Haohui Huang, Yue Liu, Guang Cheng, Linzhang Wang, Bing Mao
https://arxiv.org/abs/2405.00393

Inferring State Machine from the Protocol Implementation via Large Langeuage Model
State machines play a pivotal role in augmenting the efficacy of protocol analyzing to unveil more vulnerabilities. However, the task of inferring state machines from network protocol implementations presents significant challenges. Traditional methods based on dynamic analysis often overlook crucial state transitions due to limited coverage, while static analysis faces difficulties with complex code structures and behaviors. To address these limitations, we propose an innovative state machine …